
package hpiC77Lt . bspfmvh4 ;

public interface DedekindComplete < T >
{
    public abstract T supremum ( final java . util . Set < T > set ) ;
}